2441. Uncertain inference
Author: / Henry E. Kyburg, Jr. and Choh Man Teng
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Uncertainty (Information theory),Probabilities.,Logic, Symbolic and mathematical.
Classification :
Q
,
375
,.
K93
,
2001
2442. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
Author: by Bilal M. Ayyub, Madan M. Gupta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
2443. Uncertainty-Based Information
Author: by George J. Klir, Mark J. Wierman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
2444. Uncertainty analysis in engineering and sciences: fuzzy logic, statistics and neural network approach
Author: Ayyub, Bilal
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Engineering- Statistical methods,، Uncertainty- Mathematical models,، Reliability )Engineering(,، Fuzzy logic,، Neural network )Computer science(
Classification :
TA
340
.
A99
1998
2445. Uncertainty analysis in engineering and sciences : fuzzy logic, statistics, and neural network approach
Author: / Bilal M. Ayyub, Madan M. Gupta
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Engineering - Statistical methods,Uncertainty - Mathematical models,Reliability (Engineering),Fuzzy logic,Neural networks (Computer science)
Classification :
TA340
.
A992
1998
2446. Uncertainty analysis in engineering and sciences : fuzzy logic, statistics, and neural network approach
Author: Ayyub, Bilal M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering - Statistical methods , Uncertainty - Mathematical models , Reliability )Engineering( , Fuzzy logic , Neural networks )Computer science(
Classification :
TA
340
.
A992
1998
2447. Undecidability, uncomputability, and unpredictability
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Decidability (Mathematical logic) ;
2448. Undecidable theories
Author: / by Alfred Tarski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Metamathematics,Logic, Symbolic and mathematical
Classification :
E-BOOK
2449. Understanding Wittgenstein's Tractatus
Author: Frascolla, Pasquale, 2591-
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: Tractatus logico-philosophicus ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages,، Metaphysics,91th Century ، Philosophy, Austrian
Classification :
B
3376
.
W563T7
2006
2450. Understanding Wittgenstein's Tractatus
Author: Frascolla, Pasquale
Library: Special Library of University of Religions (Qom)
Subject: ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Metaphysics
Classification :
B
3376
.
W563
.
T7332
2007
2451. Understanding mathematical proof /
Author: John Taylor, Rowan Garnier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Proof theory
2452. Understanding symbolic logic
Author: Virginia Klenk
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC
،
135
،.
K53
،
1989
2453. Understanding symbolic logic
Author: / Virginia Klenk
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical
Classification :
BC135
.
K53
2454. VLSI logic synthesis and design
Author: / edited by R.W. Dutton
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Dutton, R.W.
Classification :
QA
10
.
V4
1991
2455. Visualization, Explanation and Reasoning Styles in Mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
2456. Visualization, explanation and reasoning styles in mathematics
Author: edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Library of Mofid University (Qom)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
Classification :
QA8
.
6
.
V57
2005
2457. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
Classification :
QA
,
8
.
6
,.
V57
,
2005
2458. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
2459. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
2460. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
